| 1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Concurrent Game Semantics: Easy as Pi
|
|
|
|
In: https://hal.inria.fr/hal-03128187 ; [Research Report] Inria. 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03064480 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
An Introduction to Complex Systems: Making Sense of a Changing World
|
|
|
|
In: Faculty Books (2019)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
|
|
Voigt, Marco. - : Saarländische Universitäts- und Landesbibliothek, 2019
|
|
BASE
|
|
Show details
|
|
|
| 12 |
English Coordination in Linear Categorial Grammar
|
|
|
|
In: http://rave.ohiolink.edu/etdc/view?acc_num=osu1451933040 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Lexical Semantics with Linear Types
|
|
|
|
In: EasyChair Proceedings in ComputingNLCS'15. Third Workshop on Natural Language and Computer Science ; NLCS'15. Third Workshop on Natural Language and Computer Science ; https://hal.inria.fr/hal-01214442 ; NLCS'15. Third Workshop on Natural Language and Computer Science, Makoto Kanazawa, Jul 2015, Kyoto, Japan. pp.72 ; http://www.easychair.org/publications/volume/NLCS-15 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Propositional glue and the projection architecture of LFG
|
|
|
|
In: Linguistics and Philosophy: a journal of natural language syntax, semantics, logic, pragmatics, and processing (2015)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
A first-order policy language for history-based transaction monitoring
|
|
|
|
In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Interacting Hopf Algebras- the Theory of Linear Systems ; Interacting Hopf Algebras - la théorie des systèmes linéaires
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01218015 ; Formal Languages and Automata Theory [cs.FL]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1020⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Investigating the expressivity of linear logic subsystems characterizing polynomial time ; Exploration de l’expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01204992 ; Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1001⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
|
|
